401. The Oxford handbook of philosophy of mathematics and logic
Author: edited by Stewart Shapiro
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Handbooks, manuals, etc ، Mathematics -- Philosophy,Philosophy -- Handbooks, manuals, etc ، Logic, Symbolic and mathematical
Classification :
QA
8
.
4
.
O964
402. The Oxford handbook of philosophy of mathematics and logic
Author: / edited by Stewart Shapiro
Library: Farabi Faculty Library, University of Tehran (Qom)
Subject: Mathematics- Philosophy,Logic, Symbolic and mathematical- Philosophy
Classification :
QA
8
.
4
.
O94
2005
R
403. The Oxford handbook of philosophy of mathematics and logic /
Author: edited by Stewart Shapiro.
Library: Library and Document Center of the Faculty of Fine Arts (Tehran)
Subject: Mathematics,Logic, Symbolic and mathematical,Philosophy.,Philosophy.
Classification :
QA
8
.
4
.
O94
2005
404. The Oxford handbook of philosophy of mathematics and logic
Author: / edited by Stewart Shapiro
Library: ()
Subject: Mathematics -- Philosophy,Logic, Symbolic and mathematical. -- Philosophy
Classification :
QA8
.
4
.
O94
2005
405. The Oxford handbook of philosophy of mathematics and logic
Author: edited by Stewart Shapiro
Library: (Tehran)
Subject: ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical -- Philosophy
Classification :
QA
8
.
4
.
O94
2005
406. The Palgrave centenary companion to Principia Mathematica
Author: edited by Nicholas Griffin and Bernard Linsky.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Russell, Bertrand, -- 1872-1970. -- Principles of mathematics.,Whitehead, Alfred North, -- 1861-1947.
Classification :
QA9
.
W53
E358
9999
407. The Real Number
Author: / by John Stillwell
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Mathematics,Logic, Symbolic and mathematical,Electronic books
Classification :
E-BOOK
408. The Theory of Classes of Groups
Author: by Guo Wenbin.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra.,Chemistry-- Mathematics.,Group theory.,Logic, Symbolic and mathematical.,Mathematics.
409. The Theory of Partial Algebraic Operations
Author: by E. S. Ljapin, A. E. Evseev.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra.,Coding theory.,Functional analysis.,Group theory.,Logic, Symbolic and mathematical.,Mathematics.
410. The adventure of reason :
Author: Paolo Mancosu
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical,Mathematics-- Philosophy-- History-- 20th century
Classification :
QA9
.
M295
2010
411. The age of alternative logics :
Author: edited by Johan van Benthem ... [and others]
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Categories (Philosophy),Logic, Symbolic and mathematical,Mathematics-- Philosophy,Proof theory
Classification :
BC135
.
A39
2006
412. The age of alternative logics: assessing philosophy of logic and mathematics today
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Mathematics-- Philosophy,، Proof theory,، Categories )Philosophy(
Classification :
BC
135
.
A39
2006
413. The age of alternative logics : assessing philosophy of logic and mathematics today
Author: edited by Johan van Benthem... ]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Mathematics -- Philosophy,، Proof theory,، Categories )Philosophy(
Classification :
BC
135
.
A35
414. The anatomy of mathematics
Author: Kershner, Richard Brandon
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Mathematics
Classification :
QA
9
.
K38
1974
415. The anatomy of mathematics
Author: / by r.B. Kershner [and] L.R. Wilcox,Kershnev
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Mathematics,Logic, Symbolic and mathematical
Classification :
QA
9
.
K38
416. The anatomy of mathematics
Author: / by R.B. Kershner [and] L.R. Wilcox
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Mathematics,Logic, Symbolic and mathematical
Classification :
QA9
.
K38
417. The axiomatic method; an introduction to mathematical logic
Author: Lightstone, A. H.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Axioms,، Mathematics-- Philosophy
Classification :
QA
248
.
L53
418. The computer modelling of mathematical reasoning /
Author: Alan Bundy, Department of Artificial Intelligence, Edinburgh.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic theorem proving.,Logic, Symbolic and mathematical.,Mathematics-- Data processing.,Intelligence artificielle.,Anwendung,ARTIFICIAL INTELLIGENCE.,Automatic theorem proving.,Automatisches Beweisverfahren,Computersimulaties.,Inteligencia Artificial (Computacao),Künstliche Intelligenz,Logic, Symbolic and mathematical.,Logique symbolique et mathématique.,Mathematics-- Data processing.,Mathematik,Mathematik.,Mathématiques-- Informatique.,Redeneren.,THEOREM PROVING.,Théorèmes-- Démonstration automatique.,Wiskunde.
Classification :
QA76
.
95
.
B86
1983
419. The computer modelling of mathematical reasoning
Author: Alan Bundy
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Data processing ، Mathematics,، Logic, Symbolic and mathematical,، Automatic theorem proving
Classification :
QA
76
.
95
.
B86
420. The computer modelling of mathematical reasoning
Author: / Alan Bundy
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Mathematics- Data processing,Logic, Symbolic and mathematical,Automatic theorem proving
Classification :
QA76
.
95
.
B86
